Specifying and reasoning about normative systems in deontic logic programming
نویسندگان
چکیده
In this paper we propose the usage of a framework combining standard deontic logic (SDL) and non-monotonic logic programming – deontic logic programs (DLP) – to represent and reason about normative systems.
منابع مشابه
Equivalence of defeasible normative systems
Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems. The use of deontic operators and the ability to represent defeasible information are known to be two fundamental ingredients to represent and reason about normative systems. In this paper, after introducing a framework that combines standard deontic logic and non-monotonic logic programmin...
متن کاملDeontic logic programs
Deontic logic programming (DLP) is a framework combining deontic logic and non-monotonic logic programming, and it is useful to represent and reason about normative systems. In this paper we propose an implementation for reasoning in DLP that combines, in a modular way, a reasoner for deontic logic with a reasoner for stable model semantics.
متن کاملSets, Sentences, and Some Logics about Imperatives
Though deontic logic is regarded as the logic of normative reasoning, norms – as entities lacking truth values – are usually represented neither in its language nor its semantics. Limiting ourselves to unconditional imperatives, we propose a concept for their semantic representation and show that existing systems of monadic and dyadic deontic logic can be reconstructed accordingly.
متن کاملAggregative Deontic Detachment for Normative Reasoning
Aggregative deontic detachment is a new form of deontic detachment that keeps track of previously detached obligations. We argue that it handles iteration of successive detachments in a more principled manner than the traditional systems do. To study this new form of deontic detachment, we introduce a ‘minimal’ logic for aggregative deontic detachment, and we discuss various properties of the l...
متن کاملAn Update Semantics for Deontic Reasoning
In this paper we propose the deontic logic dus, that formalizes reasoning about prescriptive obligations in update semantics. In dus the deenition of logical validity of obligations is not based on truth values but on action dynamics. You know the meaning of a normative sentence if you know the change it brings about in the betterness relation of anyone who is subjected to the news conveyed by ...
متن کامل